(and (eq t (>= 1 1))
     (eq t (<= 1 1)))
